Compile-Time Analysis of Data List-Format List Correspondences
نویسندگان
چکیده
ذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 1979
ISSN: 0098-5589
DOI: 10.1109/tse.1979.230197